Issue917.agda:6,27-28
Not in scope:
  ! at Issue917.agda:6,27-28
when scope checking !
